\begin{tipo}{Pregunta}
	\observador{texto}{p: Pregunta}{Texto}
	\observador{rtaCorrecta}{p: Pregunta}{Texto}
	\observador{puntaje}{p: Pregunta}{Puntaje}
	\medskip
	\invariante[puntajesPositivos]{puntaje(p) > 0}
\end{tipo}
